1. Automatic verification methods for finite state systems : Proceedings
پدیدآورنده : J. Sifakis )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
407